FLINT 1.3: Fast Library for Number Theory William B. Hart and David Harvey June 12, 2009 Contents 1 Introduction

Source URL: www.flintlib.org

• Algebra
• Mathematics
• Polynomials
• Computer algebra
• Determinants
• Resultant
• Factorization
• Variable
• Homogeneous polynomial
• Binomial coefficient
• Hermite polynomials

Generic Promotion of Diffusion-Based Salient Object Detection Peng Jiang 1 Nuno Vasconcelos 2 Jingliang Peng 1 ∗

Source URL: www.cv-foundation.org

• Algebra
• Mathematics
• Linear algebra
• Matrix theory
• Algebraic graph theory
• Computer vision
• Image processing
• Saliency map
• Eigenvalues and eigenvectors
• Spectral clustering
• Eigendecomposition of a matrix
• Laplacian matrix

Accelerated Online Low-Rank Tensor Learning for Multivariate Spatio-Temporal Streams Rose Yu Dehua Cheng Yan Liu Department of Computer Science, University of Southern California

Source URL: jmlr.org

• Algebra
• Linear algebra
• Mathematics
• Multilinear algebra
• Multivariate statistics
• Matrix theory
• Tensors
• Higher-order singular value decomposition
• Singular value decomposition
• Rank
• Kronecker product
• Matrix

A  Basic  Linear  Algebra  Compiler   Daniele  Spampinato   Markus  Püschel     Department  of  Computer  Science   ETH  Zürich,  Switzerland  

Source URL: cgo.org

• Numerical linear algebra
• Software engineering
• Basic Linear Algebra Subprograms
• Numerical software
• Const
• Linear algebra
• Computing
• Theoretical computer science

Clones: What is that Smell? Foyzur Rahman, Christian Bird, Premkumar Devanbu Department of Computer Science University of California, Davis Davis, California, USA {mfrahman,cabird,ptdevanbu}@ucdavis.edu

Source URL: macbeth.cs.ucdavis.edu

• Universal algebra
• Clone
• Software bug
• Duplicate code
• Cloning
• Star Wars expanded universe
• ASCII
• Version control

CTP-based programming languages ? Considerations about an experimental design Florian Haftmann Cezary Kaliszyk

Source URL: dream.inf.ed.ac.uk

• Theoretical computer science
• Automated theorem proving
• Logic in computer science
• Proof assistants
• Formal methods
• Isabelle
• Type theory
• HOL
• Automated reasoning
• Computer algebra system
• Vienna Development Method
• Software development

SIAM J. COMPUT. Vol. 32, No. 3, pp. 681{So iety for Industrial and Applied Mathemati s

Source URL: homepages.cwi.nl

• Mathematics
• Polynomials
• Theoretical computer science
• Functions and mappings
• Computer algebra
• Limit of a function
• PP
• IP
• Quantum algorithms

Multiple-valued complex functions and computer algebra Helmer Aslaksen Department of Mathematics National University of Singapore Singapore

Source URL: www.math.nus.edu.sg

EERA-DTOC Software EWEA Offshore, Copenhagen, 10 March 2015 Gregor Giebel, DTU Wind Energy, Risø, DK Igor Waldl, Felix Dierich, Overspeed, Oldenburg, DE Peter Stuart, RES, London, UK

Source URL: www.eera-dtoc.eu

• Software
• Computing
• Application software
• Cross-platform software
• Array programming languages
• Computer file formats
• Wind power
• Linear algebra
• MATLAB
• NetCDF
• WAsP
• ASCII

Ruhr Graduate School in Economics University of Duisburg-Essen 12th Ruhr Graduate Summer School Essen, Germany

Source URL: www.iwb.wiwi.uni-due.de

• Economics
• Academia
• Economy
• Computable general equilibrium
• Economic model
• Applied general equilibrium
• GTAP
• Macroeconomic model
• General equilibrium theory
• Computer algebra systems
• New trade theory
• Computational economics